Generalised dimensions of measures on almost self-affine sets

We establish a generic formula for the generalised q-dimensions of measures supported by almost self-affine sets, for all q>1. These q-dimensions may exhibit phase transitions as q varies. We first consider general measures and then specialise to Bernoulli and Gibbs measures. Our method involves estimating expectations of moment expressions in terms of `multienergy' integrals which we then bound using induction on families of trees

Attractors of directed graph IFSs that are not standard IFS attractors and their Hausdorff measure

For directed graph iterated function systems (IFSs) defined on R, we prove that a class of 2-vertex directed graph IFSs have attractors that cannot be the attractors of standard (1-vertex directed graph) IFSs, with or without separation conditions. We also calculate their exact Hausdorff measure. Thus we are able to identify a new class of attractors for which the exact Hausdorff measure is known

The horizon problem for prevalent surfaces

We investigate the box dimensions of the horizon of a fractal surface defined by a function $f \in C[0,1]^2$. In particular we show that a prevalent surface satisfies the `horizon property', namely that the box dimension of the horizon is one less than that of the surface. Since a prevalent surface has box dimension 3, this does not give us any information about the horizon of surfaces of dimension strictly less than 3. To examine this situation we introduce spaces of functions with surfaces of upper box dimension at most \alpha, for \alpha $\in$ [2,3). In this setting the behaviour of the horizon is more subtle. We construct a prevalent subset of these spaces where the lower box dimension of the horizon lies between the dimension of the surface minus one and 2. We show that in the sense of prevalence these bounds are as tight as possible if the spaces are defined purely in terms of dimension. However, if we work in Lipschitz spaces, the horizon property does indeed hold for prevalent functions. Along the way, we obtain a range of properties of box dimensions of sums of functions

A multifractal zeta function for cookie cutter sets

Starting with the work of Lapidus and van Frankenhuysen a number of papers have introduced zeta functions as a way of capturing multifractal information. In this paper we propose a new multifractal zeta function and show that under certain conditions the abscissa of convergence yields the Hausdorff multifractal spectrum for a class of measures

On the arithmetic sums of Cantor sets

Let C_\la and C_\ga be two affine Cantor sets in $\mathbb{R}$ with similarity dimensions d_\la and d_\ga, respectively. We define an analog of the Bandt-Graf condition for self-similar systems and use it to give necessary and sufficient conditions for having \Ha^{d_\la+d_\ga}(C_\la + C_\ga)>0 where C_\la + C_\ga denotes the arithmetic sum of the sets. We use this result to analyze the orthogonal projection properties of sets of the form C_\la \times C_\ga. We prove that for Lebesgue almost all directions $\theta$ for which the projection is not one-to-one, the projection has zero (d_\la + d_\ga)-dimensional Hausdorff measure. We demonstrate the results on the case when C_\la and C_\ga are the middle-(1-2\la) and middle-(1-2\ga) sets

Boundary criticality at the Anderson transition between a metal and a quantum spin Hall insulator in two dimensions

Static disorder in a noninteracting gas of electrons confined to two dimensions can drive a continuous quantum (Anderson) transition between a metallic and an insulating state when time-reversal symmetry is preserved but spin-rotation symmetry is broken. The critical exponent $\nu$ that characterizes the diverging localization length and the bulk multifractal scaling exponents that characterize the amplitudes of the critical wave functions at the metal-insulator transition do not depend on the topological nature of the insulating state, i.e., whether it is topologically trivial (ordinary insulator) or nontrivial (a $Z_2$ insulator supporting a quantum spin Hall effect). This is not true of the boundary multifractal scaling exponents which we show (numerically) to depend on whether the insulating state is topologically trivial or not.Comment: 12 pages, 13 figures, selected for an Editors' Suggestion in PR

Golden gaskets: variations on the Sierpi\'nski sieve

We consider the iterated function systems (IFSs) that consist of three general similitudes in the plane with centres at three non-collinear points, and with a common contraction factor \la\in(0,1). As is well known, for \la=1/2 the invariant set, \S_\la, is a fractal called the Sierpi\'nski sieve, and for \la<1/2 it is also a fractal. Our goal is to study \S_\la for this IFS for 1/2<\la<2/3, i.e., when there are "overlaps" in \S_\la as well as "holes". In this introductory paper we show that despite the overlaps (i.e., the Open Set Condition breaking down completely), the attractor can still be a totally self-similar fractal, although this happens only for a very special family of algebraic \la's (so-called "multinacci numbers"). We evaluate \dim_H(\S_\la) for these special values by showing that \S_\la is essentially the attractor for an infinite IFS which does satisfy the Open Set Condition. We also show that the set of points in the attractor with a unique ``address'' is self-similar, and compute its dimension. For ``non-multinacci'' values of \la we show that if \la is close to 2/3, then \S_\la has a nonempty interior and that if \la<1/\sqrt{3} then \S_\la$ has zero Lebesgue measure. Finally we discuss higher-dimensional analogues of the model in question.Comment: 27 pages, 10 figure

Combinatorics of linear iterated function systems with overlaps

Let $\bm p_0,...,\bm p_{m-1}$ be points in ${\mathbb R}^d$, and let $\{f_j\}_{j=0}^{m-1}$ be a one-parameter family of similitudes of ${\mathbb R}^d$: $$f_j(\bm x) = \lambda\bm x + (1-\lambda)\bm p_j, j=0,...,m-1,$$ where $\lambda\in(0,1)$ is our parameter. Then, as is well known, there exists a unique self-similar attractor $S_\lambda$ satisfying $S_\lambda=\bigcup_{j=0}^{m-1} f_j(S_\lambda)$. Each $\bm x\in S_\lambda$ has at least one address $(i_1,i_2,...)\in\prod_1^\infty\{0,1,...,m-1\}$, i.e., $\lim_n f_{i_1}f_{i_2}... f_{i_n}({\bf 0})=\bm x$. We show that for $\lambda$ sufficiently close to 1, each $\bm x\in S_\lambda\setminus\{\bm p_0,...,\bm p_{m-1}\}$ has $2^{\aleph_0}$ different addresses. If $\lambda$ is not too close to 1, then we can still have an overlap, but there exist $\bm x$'s which have a unique address. However, we prove that almost every $\bm x\in S_\lambda$ has $2^{\aleph_0}$ addresses, provided $S_\lambda$ contains no holes and at least one proper overlap. We apply these results to the case of expansions with deleted digits. Furthermore, we give sharp sufficient conditions for the Open Set Condition to fail and for the attractor to have no holes. These results are generalisations of the corresponding one-dimensional results, however most proofs are different.Comment: Accepted for publication in Nonlinearit